$\forall$$p$:FinProbSpace, $C$:p{-}open($p$), $s$:($\mathbb{N}\rightarrow$Outcome). $s$ $\in$ $C$ $\in$ $\mathbb{P}$